منابع مشابه
Lowness for Weak Genericity and Randomness
We prove that lowness for weak genericity is equivalent to semicomputable traceability which is strictly between hyperimmune-freeness and computable traceability. We also show that semi-computable traceability implies lowness for weak randomness. These results refute a conjecture raised by several people.
متن کاملRelativizations of Randomness and Genericity Notions
A set A is a base for Schnorr randomness if it is Turing reducible to a set R which is Schnorr random relative to A, and the notion of a base for weak 1-genericity can be defined similarly. We show that A is a base for Schnorr randomness if and only if A is a base for weak 1-genericity if and only if the halting set K is not Turing reducible to A. Furthermore, we define a set A to be high for S...
متن کاملNullifying randomness and genericity using symmetric difference
For a class C of sets, let us say that a set A is C stabilising if A 4 X ∈ C for every X ∈ C. We prove that the Martin-Löf stabilising sets are exactly the K-trivial sets, as are the weakly 2-random stabilising sets. We also show that the 1-generic stabilising sets are exactly the computable sets.
متن کاملGenericity and Randomness over Feasible Probability Measures
This paper investigates the notion of resource bounded genericity developed by Ambos Spies Fleischhack and Huwig Ambos Spies Neis and Terwijn have recently shown that every language that is t n random over the uniform probability measure is t n generic It is shown here that in fact every language that is t n random over any strongly positive t n computable probability measure is t n generic Rou...
متن کاملGenericity, Randomness, and Polynomial-Time Approximations
Polynomial-time safe and unsafe approximations for intractable sets were introduced by Meyer and Paterson [Technical Report TM-126, Laboratory for Computer Science, MIT, Cambridge, MA, 1979] and Yesha [SIAM J. Comput., 12 (1983), pp. 411–425], respectively. The question of which sets have optimal safe and unsafe approximations has been investigated extensively. Duris and Rolim [Lecture Notes in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Forum of Mathematics, Sigma
سال: 2017
ISSN: 2050-5094
DOI: 10.1017/fms.2017.27